#include "s3c24xx.h"
#include "mini2440.h"

extern void led_init(void);
extern void key_init(void);
extern void timer0_init(void);
extern void watchdog_init(void);

void watchdog_feed (void)
{
    int i;

    while (1) {
        for (i = 0; i < 0xffff; i++);
        WTDAT = 50000;
        WTCNT = 50000;
    }
}

int main(void)
{
    led_init();
    key_init();
 // timer0_init();
    watchdog_init();

    led_on(LED0);

    /* feed dog, otherwise will reset when watchdog time expire */
    watchdog_feed();

    return 0;
}
